The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Ferruccio Damiani Books

Results for Ferruccio Damiani

Showing 1 to 4 of 4 results
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science) Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science) by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science)

by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer


ISBN 13: 9783319073163

Format: Paperback (352 pages)
Publisher: Springer
Published: 21 May 2014

Save for later

 
New : $78.48  
New : $78.48
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: 3085 (Lecture Notes in Computer Science) Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: 3085 (Lecture Notes in Computer Science) by Stefano Berardi,Ferruccio Damiani,Mario Coppo

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers: 3085 (Lecture Notes in Computer Science)

by Stefano Berardi,Ferruccio Damiani,Mario Coppo


ISBN 13: 9783540221647

Format: Paperback (424 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $94.80  
New : $94.80
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science) by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science)

by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert


ISBN 13: 9783642358869

Format: Paperback (368 pages)
Publisher: Springer
Published: 03 Jan 2013

Save for later

 
New : $59.72  
New : $59.72
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers: 7421 (Lecture Notes in Computer Science) Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers: 7421 (Lecture Notes in Computer Science) by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers: 7421 (Lecture Notes in Computer Science)

by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov


ISBN 13: 9783642317613

Format: Paperback (264 pages)
Publisher: Springer
Published: 19 Jul 2012

Save for later

 
New : $49.19  
New : $49.19